Static Deadlock Detection in Low-Level C Code

We present a novel scalable deadlock analyser L2D2 capable of handling C code with low-level unstructured lock manipulation. runs along the call tree program, starting from its leaves, and analyses each function just once, without any knowledge context. builds summaries recording information about locks that are assumed or known to be locked unlocked at entry, inside, exit functions, together dependencies, reports warnings possible deadlocks when cycles in dependencies detected. implemented as plugin Facebook/Meta Infer framework report results experiments on large body well C++ illustrating effectiveness efficiency .